921. Vector and parallel processing VECPAR'98 : Third International Conference, Porto, Portugal, June 1998 : selected papers and invited talks
پدیدآورنده : Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(
رده :
QA
76
.
L28
Vol
.
1573
922. Vector and parallel processing-VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks
پدیدآورنده : Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(
رده :
QA
76
.
L28
Vol
.
1981
923. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
129
924. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs-- Verification
رده :
QA
76
.
6
.
H295
1982
925. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
129
926. Video surveillance for sensor platforms
پدیدآورنده : / Mayssaa Al Najjar, Milad Ghantous, Magdy Bayoumi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Image processing, Digital techniques,Video surveillance,Sensor networks,Image analysis,Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,COMPUTERS / General, bisacsh
رده :
E-BOOK
927. WOPPLOT 83 : Parallel Proceeding : Logic, Organization and Technology : Proceedings of a Workshop held at the Federal Armed Forces University Munich )HSB w M( Neubiberg, Bavaria, Germany, June 27-29,1983
پدیدآورنده : edited by J. Becker, I. Eisele
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QC
3
.
L28
Vol
.
196
928. WOPPLOT 83: parallel processing-- Logic, organization, and technology: proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
W685
1983
929. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : edited by J.D. Becker and I. Eisele
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
253
930. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : WOPPLOT 68, )6891, Neubiberg, Germany(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253
931. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده : WOPPLOT 38, )3891, Neubiberg, Germany(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
رده :
QA
76
.
6
.
W685
1983
932. advanced computer architecture and parallel processing
پدیدآورنده : Mostafa Abd-El-Barr, Hesham El-Rewini
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Computer architecture,Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
,
A24
2005
933. arrays /-Parallel programming with co
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
934. based EM problems in the frequency domain-Parallel solution of integral equation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : domain analysis. ; -Electromagnetism ; Data processing. ; Electromagnetic fields ; Mathematical models. ; Electromagnetic waves ; Mathematical models. ; Parallel processing (Electronic computers) ; Integral domains. ; Time
935. based discrete systems-Dynamic analysis of Petri net
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : time systems. ; Petri nets. ; Parallel processing (Electronic computers) ; -Digital control systems ; Design and construction. ; Discrete
936. concurrency theory-CONCUR 2007
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Machine theory. ;
937. concurrency theory-Concur 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ; Parallel programming (Computer science) ;
938. distributed processing, and applications :&Advances in parallel
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ;
939. grain parallelism /-Exploitation of fine
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
940. grid and cluster computing
پدیدآورنده : / C.S.R. PRABHM
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Electronic data processing, Distributed processing,Parallel processing (Electronic computers)
رده :
QA76
.
9
P7G7
2008